Ideas from 'On the Foundations of Logic and Arithmetic' by David Hilbert [1904], by Theme Structure

[found in 'From Frege to Gödel 1879-1931' (ed/tr Heijenoort,Jean van) [Harvard 1967,0-674-32449-8]].

green numbers give full details    |     back to texts     |     expand these ideas

---

6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism

17697

The existence of an arbitrarily large number refutes the idea that numbers come from experience

6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique

17698

Logic already contains some arithmetic, so the two must be developed together